大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Advances in Information and Computer Security [electronic resource] : Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings

0
索取号：
作者：Matsuura、 Kanta.、Fujisaki、 Eiichiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software-Intensive Systems and New Computing Paradigms [electronic resource] : Challenges and Visions

0
索取号：
作者：Wirsing、 Martin.、Ban芒tre、 Jean-Pierre.、H枚lzl、 Matthias.、Rauschmayer、 Axel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

HCI and Usability for Education and Work [electronic resource] : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings

0
索取号：
作者：Holzinger、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Metrics for Process Models [electronic resource] : Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness

0
索取号：
作者：Mendling、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Entertainment Computing - ICEC 2008 [electronic resource] : 7th International Conference, Pittsburgh, PA, USA, September 25-27, 2008. Proceedings

0
索取号：
作者：Stevens、 Scott M.、Saldamarco、 Shirley J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

The Discrete Nonlinear Schr枚dinger Equation [electronic resource] : Mathematical Analysis, Numerical Computations and Physical Perspectives

0
索取号：
作者：Kevrekidis、 Panayotis G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Pattern Calculus [electronic resource] : Computing with Functions and Structures

0
索取号：
作者：Jay、 Barry.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Fundamentals of Cryobiology [electronic resource] : Physical Phenomena and Mathematical Models

0
索取号：
作者：Zhmakin、 Alexander I.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Vision-ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV

0
索取号：
作者：Forsyth、 David.、Torr、 Philip.、Zisserman、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computer Vision-ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part III

0
索取号：
作者：Forsyth、 David.、Torr、 Philip.、Zisserman、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computer Vision-ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part II

0
索取号：
作者：Forsyth、 David.、Torr、 Philip.、Zisserman、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computer Vision-ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I

0
索取号：
作者：Forsyth、 David.、Torr、 Philip.、Zisserman、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Rough Sets and Current Trends in Computing [electronic resource] : 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings

0
索取号：
作者：Chan、 Chien-Chung.、Grzymala-Busse、 Jerzy W.、Ziarko、 Wojciech P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computer Security - ESORICS 2008 [electronic resource] : 13th European Symposium on Research in Computer Security, M谩laga, Spain, October 6-8, 2008. Proceedings

0
索取号：
作者：Jajodia、 Sushil.、Lopez、 Javier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

High Performance Computing in Science and Engineering '08 [electronic resource] : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008

0
索取号：
作者：Nagel、 Wolfgang E.、Kr枚ner、 Dietmar B.、Resch、 Michael M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Entanglement and Decoherence [electronic resource] : Foundations and Modern Trends

0
索取号：
作者：Buchleitner、 Andreas.、Viviescas、 Carlos.、Tiersch、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.